<HTML><HEAD><TITLE>det_remove(+Map0, ++Key, ?Value, -Map)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(m_map)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>det_remove(+Map0, ++Key, ?Value, -Map)</H1>
Remove a key/value pair from a map, aborting if the key is not present.
<DL>
<DT><EM>Map0</EM></DT>
<DD>A map
</DD>
<DT><EM>Key</EM></DT>
<DD>The key to remove
</DD>
<DT><EM>Value</EM></DT>
<DD>The value corresponding to Key
</DD>
<DT><EM>Map</EM></DT>
<DD>The map after removal
</DD>
</DL>
<H2>Description</H2>
	<P>
	This predicate removes the key Key and its corresponding value from
	the map Map0, resulting in the map Map.  It then attempts to
	unify the removed value with Value.  If the key Key was not in the
	map Map0, then the predicate aborts with a runtime error.
	</P>
	<P>
	This predicate should only be called with maps created by other
	predicates from the map module.
	</P>
	
<H3>Fail Conditions</H3>
Fails if Value does not unify with the value corresponding to Key.
<H3>Resatisfiable</H3>
no
<H2>See Also</H2>
<A HREF="../../lib_public/m_map/delete-3.html">delete / 3</A>, <A HREF="../../lib_public/m_map/remove-4.html">remove / 4</A>
</BODY></HTML>
